(* Structure tests. *)
structure S: sig structure T: sig end end = struct end;
